$\forall$$l$:IdLnk. lnk{-}inv($l$) $\in$ IdLnk